Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles : Ingénierie à base de modèles = Supporting a Multi-Formalism Model Driven Development Process with Model Transformation, a TOPCASED ImplementationDUMAS, Xavier; GABEL, Sébastien; HONORE, Julien et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 2, issn 1265-6534, 45-51, 62 [8 p.]Article

Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques: Travaux et retours d'expérience = UML/SysML approach for software specification of aeronautic embedded systems. Works and feedbackFERNANDES PIRES, Anthony; DUPRAT, Stéphane; BESSEYRE, Cédrik et al.TSI. Technique et science informatiques. 2012, Vol 31, Num 7, pp 897-916, issn 0752-4072, 20 p.Article

TOPCASED : L'ingénierie des modèles appliquée aux systèmes embarqués critiquesBERNARD, Yves; ROSSIGNOL, Alain.Génie logiciel (1995). 2006, Num 77, pp 2-10, issn 1265-1397, 9 p.Conference Paper